Automated Conformance Testing Through Hybrid Symbolic Execution & Reinforcement Learning
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Bench testing of the 1130 MRAM core memory board still not successful
rescue1130.blogspot.com·10h·
Discuss: rescue1130.blogspot.com
⚡Circuit Archaeology
Can a Data Race Happen on a Single-Core Machine?
aoli.al·7h·
Discuss: Hacker News
⚡Cache Coherence
Issue 490
haskellweekly.news·11h
🔗Functional Compilers
Study cautions that monitoring chains of thought soon may no longer ensure genuine AI alignment
the-decoder.com·7h
🎯Threat Hunting
Use mutation testing to find the bugs your tests don't catch
blog.trailofbits.com·12h
🧪Property-Based Testing
INapGPU: Text-mode graphics card, using only TTL gates
github.com·18h·
Discuss: Hacker News
🎮Gameboy Emulation
GTA -- An ATSP Method: Shifting the Bottleneck from Algorithm to RAM
arxiv.org·19h
🚀SIMD Text Processing
Disentangling the Dual Role of NIC Receive Rings
usenix.org·4h·
Discuss: Hacker News
⚙️Operating System Design
I uncovered an ACPI bug in my Dell Inspiron 5567. It was plaguing me for 8 years.
triangulatedexistence.mataroa.blog·18h·
Discuss: Hacker News, r/programming
🧪Hardware Fuzzing
Controlling program flow with capabilities in Scala
nrinaudo.github.io·13h·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
The Ternary Manifesto
homepage.cs.uiowa.edu·1d
📝Concrete Syntax
Need help: EPYC/Supermicro Epic
reddit.com·2h·
Discuss: r/homelab
⚡Circuit Archaeology
Untangling the Impossible: Diagnosing Constraint Conflicts in Boolean Models
dev.to·15h·
Discuss: DEV
🧮Constraint SMT
System Instruction Fixed Point
funcall.blogspot.com·2d·
Discuss: www.blogger.com
⚡Proof Automation
AI hardware reimagined for lower energy use
news.cornell.edu·2d·
Discuss: Hacker News
⚡Compression Hardware
Greyscale-box test-driven development
blog.ploeh.dk·3d
🧪Property-Based Testing
Novel Dynamic Transient Response Optimization for GaN Power Modules via Reinforcement Learning
dev.to·1d·
Discuss: DEV
⚡Circuit Design
Claude Can (Sometimes) Prove It
galois.com·2d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Language Models Wrestle with Gaps in Understanding
cacm.acm.org·7h
💻Local LLMs